Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
291	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
292	Optimal acceptors and optimal proof systems Edward A. Hirsch? Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg[removed], Russia http://logic.pdmi.ras.ru/~hirsch/ Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2010-03-28 09:40:37 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem Propositional proof system PP Mathematical proof Theoretical computer science Computational complexity theory Applied mathematics
293	2 Preliminaries A combinational boolean network is a directed acyclic graph (DAG) with nodes corresponding to logic gates and directed edges corresponding to wires connecting the gates. Incoming edges of a node are calle Add to Reading List Source URL: minisat.se Language: English - Date: 2009-12-31 17:36:11 Electronic engineering Diagrams Circuit Theory of computation Cut And-inverter graph Mathematics Theoretical computer science Graph connectivity Combinatorial optimization
294	On an optimal randomized acceptor for graph nonisomorphism∗ Edward A. Hirsch†,‡ Dmitry Itsykson† November 9, 2011 Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2011-11-09 06:46:56 Analysis of algorithms Mathematical optimization Complexity classes Graph coloring NP-complete Randomized algorithm P versus NP problem NP Time complexity Theoretical computer science Computational complexity theory Applied mathematics
295	Computational and algorithmic models of strategies in turn-based games Gerben Bergwerff Institute of Artificial Intelligence, University of Groningen Ben Meijering ([removed]) Institute of Artificial Intelligence Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-24 08:05:26 Reasoning Inductive reasoning Operations research Mathematical optimization Thought Backtracking Logic programming Algorithm Marble Science Knowledge Games
296	A CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency ˇ C ˇ ´IK, Microsoft JAROSLAV SEV VIKTOR VAFEIADIS, MPI-SWS Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-05-16 11:01:24 Compiler construction Logic in computer science Programming language implementation Formal methods Memory barrier Java Memory Model Memory model Thread-local storage Compiler optimization Computing Software engineering Computer memory
297	Boom and Bust: Environmental Variability Favors the Emergence of Communication Patrick Grim and Trina Kokalis Group for Logic & Formal Semantics, Dept. of Philosophy, SUNY at Stony Brook [removed] Abstrac Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2007-01-13 05:31:46 Philosophy of biology Cybernetics Genetic algorithm Mathematical optimization Algorithm Ecology Culture Psychology Randomness Science Knowledge Applied mathematics
298	Journal on Satisfiability, Boolean Modeling and Computation[removed] ManySAT: a Parallel SAT Solver Youssef Hamadi [removed] Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2009-12-08 06:37:10 Automated theorem proving Logic in computer science Computer file formats Mathematical optimization Operations research Boolean satisfiability problem DPLL algorithm Resolution Clause Theoretical computer science Mathematics Applied mathematics
299	Errata Chapter 1 • p. 17, second paragraph from the bottom: ’As explained in Sect. 1.10’ should be ’As explained in Definition 1.10’. Chapter 2 Add to Reading List Source URL: www.decision-procedures.org Language: English - Date: 2009-03-06 13:25:14 Logic programming 2Y Mathematical optimization Ordinary differential equations
300	The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2002-01-03 19:01:27 Software engineering Computer programming Computing Constraint satisfaction Constraint logic programming Simplex algorithm Slack variable Linear programming Cassowary Constraint programming Mathematical optimization Operations research

UPDATE